Optimal. Leaf size=199 \[ \frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}+\frac{a b e x}{2 c^3}-\frac{e \left (a+b \tan ^{-1}(c x)\right )^2}{4 c^4}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{a b d x}{c}+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{b^2 d \log \left (c^2 x^2+1\right )}{2 c^2}+\frac{b^2 e x^2}{12 c^2}-\frac{b^2 e \log \left (c^2 x^2+1\right )}{3 c^4}+\frac{b^2 e x \tan ^{-1}(c x)}{2 c^3}-\frac{b^2 d x \tan ^{-1}(c x)}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.398327, antiderivative size = 199, normalized size of antiderivative = 1., number of steps used = 19, number of rules used = 8, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.421, Rules used = {4980, 4852, 4916, 4846, 260, 4884, 266, 43} \[ \frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}+\frac{a b e x}{2 c^3}-\frac{e \left (a+b \tan ^{-1}(c x)\right )^2}{4 c^4}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{a b d x}{c}+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{b^2 d \log \left (c^2 x^2+1\right )}{2 c^2}+\frac{b^2 e x^2}{12 c^2}-\frac{b^2 e \log \left (c^2 x^2+1\right )}{3 c^4}+\frac{b^2 e x \tan ^{-1}(c x)}{2 c^3}-\frac{b^2 d x \tan ^{-1}(c x)}{c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4980
Rule 4852
Rule 4916
Rule 4846
Rule 260
Rule 4884
Rule 266
Rule 43
Rubi steps
\begin{align*} \int x \left (d+e x^2\right ) \left (a+b \tan ^{-1}(c x)\right )^2 \, dx &=\int \left (d x \left (a+b \tan ^{-1}(c x)\right )^2+e x^3 \left (a+b \tan ^{-1}(c x)\right )^2\right ) \, dx\\ &=d \int x \left (a+b \tan ^{-1}(c x)\right )^2 \, dx+e \int x^3 \left (a+b \tan ^{-1}(c x)\right )^2 \, dx\\ &=\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2-(b c d) \int \frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2} \, dx-\frac{1}{2} (b c e) \int \frac{x^4 \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2} \, dx\\ &=\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{(b d) \int \left (a+b \tan ^{-1}(c x)\right ) \, dx}{c}+\frac{(b d) \int \frac{a+b \tan ^{-1}(c x)}{1+c^2 x^2} \, dx}{c}-\frac{(b e) \int x^2 \left (a+b \tan ^{-1}(c x)\right ) \, dx}{2 c}+\frac{(b e) \int \frac{x^2 \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2} \, dx}{2 c}\\ &=-\frac{a b d x}{c}-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2-\frac{\left (b^2 d\right ) \int \tan ^{-1}(c x) \, dx}{c}+\frac{1}{6} \left (b^2 e\right ) \int \frac{x^3}{1+c^2 x^2} \, dx+\frac{(b e) \int \left (a+b \tan ^{-1}(c x)\right ) \, dx}{2 c^3}-\frac{(b e) \int \frac{a+b \tan ^{-1}(c x)}{1+c^2 x^2} \, dx}{2 c^3}\\ &=-\frac{a b d x}{c}+\frac{a b e x}{2 c^3}-\frac{b^2 d x \tan ^{-1}(c x)}{c}-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}-\frac{e \left (a+b \tan ^{-1}(c x)\right )^2}{4 c^4}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2+\left (b^2 d\right ) \int \frac{x}{1+c^2 x^2} \, dx+\frac{1}{12} \left (b^2 e\right ) \operatorname{Subst}\left (\int \frac{x}{1+c^2 x} \, dx,x,x^2\right )+\frac{\left (b^2 e\right ) \int \tan ^{-1}(c x) \, dx}{2 c^3}\\ &=-\frac{a b d x}{c}+\frac{a b e x}{2 c^3}-\frac{b^2 d x \tan ^{-1}(c x)}{c}+\frac{b^2 e x \tan ^{-1}(c x)}{2 c^3}-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}-\frac{e \left (a+b \tan ^{-1}(c x)\right )^2}{4 c^4}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{b^2 d \log \left (1+c^2 x^2\right )}{2 c^2}+\frac{1}{12} \left (b^2 e\right ) \operatorname{Subst}\left (\int \left (\frac{1}{c^2}-\frac{1}{c^2 \left (1+c^2 x\right )}\right ) \, dx,x,x^2\right )-\frac{\left (b^2 e\right ) \int \frac{x}{1+c^2 x^2} \, dx}{2 c^2}\\ &=-\frac{a b d x}{c}+\frac{a b e x}{2 c^3}+\frac{b^2 e x^2}{12 c^2}-\frac{b^2 d x \tan ^{-1}(c x)}{c}+\frac{b^2 e x \tan ^{-1}(c x)}{2 c^3}-\frac{b e x^3 \left (a+b \tan ^{-1}(c x)\right )}{6 c}+\frac{d \left (a+b \tan ^{-1}(c x)\right )^2}{2 c^2}-\frac{e \left (a+b \tan ^{-1}(c x)\right )^2}{4 c^4}+\frac{1}{2} d x^2 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{1}{4} e x^4 \left (a+b \tan ^{-1}(c x)\right )^2+\frac{b^2 d \log \left (1+c^2 x^2\right )}{2 c^2}-\frac{b^2 e \log \left (1+c^2 x^2\right )}{3 c^4}\\ \end{align*}
Mathematica [A] time = 0.173684, size = 179, normalized size = 0.9 \[ \frac{c x \left (3 a^2 c^3 x \left (2 d+e x^2\right )-2 a b c^2 \left (6 d+e x^2\right )+6 a b e+b^2 c e x\right )+2 b \tan ^{-1}(c x) \left (3 a c^4 \left (2 d x^2+e x^4\right )+6 a c^2 d-3 a e-b c^3 x \left (6 d+e x^2\right )+3 b c e x\right )+2 b^2 \left (3 c^2 d-2 e\right ) \log \left (c^2 x^2+1\right )+3 b^2 \tan ^{-1}(c x)^2 \left (c^4 \left (2 d x^2+e x^4\right )+2 c^2 d-e\right )}{12 c^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.049, size = 249, normalized size = 1.3 \begin{align*}{\frac{{a}^{2}e{x}^{4}}{4}}+{\frac{{a}^{2}{x}^{2}d}{2}}+{\frac{{b}^{2} \left ( \arctan \left ( cx \right ) \right ) ^{2}e{x}^{4}}{4}}+{\frac{{b}^{2} \left ( \arctan \left ( cx \right ) \right ) ^{2}d{x}^{2}}{2}}-{\frac{{b}^{2}\arctan \left ( cx \right ){x}^{3}e}{6\,c}}-{\frac{{b}^{2}dx\arctan \left ( cx \right ) }{c}}+{\frac{{b}^{2}ex\arctan \left ( cx \right ) }{2\,{c}^{3}}}+{\frac{{b}^{2} \left ( \arctan \left ( cx \right ) \right ) ^{2}d}{2\,{c}^{2}}}-{\frac{{b}^{2} \left ( \arctan \left ( cx \right ) \right ) ^{2}e}{4\,{c}^{4}}}+{\frac{{b}^{2}e{x}^{2}}{12\,{c}^{2}}}+{\frac{{b}^{2}d\ln \left ({c}^{2}{x}^{2}+1 \right ) }{2\,{c}^{2}}}-{\frac{{b}^{2}e\ln \left ({c}^{2}{x}^{2}+1 \right ) }{3\,{c}^{4}}}+{\frac{ab\arctan \left ( cx \right ) e{x}^{4}}{2}}+ab\arctan \left ( cx \right ) d{x}^{2}-{\frac{ab{x}^{3}e}{6\,c}}-{\frac{abdx}{c}}+{\frac{abex}{2\,{c}^{3}}}+{\frac{ab\arctan \left ( cx \right ) d}{{c}^{2}}}-{\frac{ab\arctan \left ( cx \right ) e}{2\,{c}^{4}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.61354, size = 333, normalized size = 1.67 \begin{align*} \frac{1}{4} \, b^{2} e x^{4} \arctan \left (c x\right )^{2} + \frac{1}{4} \, a^{2} e x^{4} + \frac{1}{2} \, b^{2} d x^{2} \arctan \left (c x\right )^{2} + \frac{1}{2} \, a^{2} d x^{2} +{\left (x^{2} \arctan \left (c x\right ) - c{\left (\frac{x}{c^{2}} - \frac{\arctan \left (c x\right )}{c^{3}}\right )}\right )} a b d - \frac{1}{2} \,{\left (2 \, c{\left (\frac{x}{c^{2}} - \frac{\arctan \left (c x\right )}{c^{3}}\right )} \arctan \left (c x\right ) + \frac{\arctan \left (c x\right )^{2} - \log \left (c^{2} x^{2} + 1\right )}{c^{2}}\right )} b^{2} d + \frac{1}{6} \,{\left (3 \, x^{4} \arctan \left (c x\right ) - c{\left (\frac{c^{2} x^{3} - 3 \, x}{c^{4}} + \frac{3 \, \arctan \left (c x\right )}{c^{5}}\right )}\right )} a b e - \frac{1}{12} \,{\left (2 \, c{\left (\frac{c^{2} x^{3} - 3 \, x}{c^{4}} + \frac{3 \, \arctan \left (c x\right )}{c^{5}}\right )} \arctan \left (c x\right ) - \frac{c^{2} x^{2} + 3 \, \arctan \left (c x\right )^{2} - 4 \, \log \left (c^{2} x^{2} + 1\right )}{c^{4}}\right )} b^{2} e \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.04188, size = 471, normalized size = 2.37 \begin{align*} \frac{3 \, a^{2} c^{4} e x^{4} - 2 \, a b c^{3} e x^{3} +{\left (6 \, a^{2} c^{4} d + b^{2} c^{2} e\right )} x^{2} + 3 \,{\left (b^{2} c^{4} e x^{4} + 2 \, b^{2} c^{4} d x^{2} + 2 \, b^{2} c^{2} d - b^{2} e\right )} \arctan \left (c x\right )^{2} - 6 \,{\left (2 \, a b c^{3} d - a b c e\right )} x + 2 \,{\left (3 \, a b c^{4} e x^{4} + 6 \, a b c^{4} d x^{2} - b^{2} c^{3} e x^{3} + 6 \, a b c^{2} d - 3 \, a b e - 3 \,{\left (2 \, b^{2} c^{3} d - b^{2} c e\right )} x\right )} \arctan \left (c x\right ) + 2 \,{\left (3 \, b^{2} c^{2} d - 2 \, b^{2} e\right )} \log \left (c^{2} x^{2} + 1\right )}{12 \, c^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.61472, size = 296, normalized size = 1.49 \begin{align*} \begin{cases} \frac{a^{2} d x^{2}}{2} + \frac{a^{2} e x^{4}}{4} + a b d x^{2} \operatorname{atan}{\left (c x \right )} + \frac{a b e x^{4} \operatorname{atan}{\left (c x \right )}}{2} - \frac{a b d x}{c} - \frac{a b e x^{3}}{6 c} + \frac{a b d \operatorname{atan}{\left (c x \right )}}{c^{2}} + \frac{a b e x}{2 c^{3}} - \frac{a b e \operatorname{atan}{\left (c x \right )}}{2 c^{4}} + \frac{b^{2} d x^{2} \operatorname{atan}^{2}{\left (c x \right )}}{2} + \frac{b^{2} e x^{4} \operatorname{atan}^{2}{\left (c x \right )}}{4} - \frac{b^{2} d x \operatorname{atan}{\left (c x \right )}}{c} - \frac{b^{2} e x^{3} \operatorname{atan}{\left (c x \right )}}{6 c} + \frac{b^{2} d \log{\left (x^{2} + \frac{1}{c^{2}} \right )}}{2 c^{2}} + \frac{b^{2} d \operatorname{atan}^{2}{\left (c x \right )}}{2 c^{2}} + \frac{b^{2} e x^{2}}{12 c^{2}} + \frac{b^{2} e x \operatorname{atan}{\left (c x \right )}}{2 c^{3}} - \frac{b^{2} e \log{\left (x^{2} + \frac{1}{c^{2}} \right )}}{3 c^{4}} - \frac{b^{2} e \operatorname{atan}^{2}{\left (c x \right )}}{4 c^{4}} & \text{for}\: c \neq 0 \\a^{2} \left (\frac{d x^{2}}{2} + \frac{e x^{4}}{4}\right ) & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.28589, size = 382, normalized size = 1.92 \begin{align*} \frac{3 \, b^{2} c^{4} x^{4} \arctan \left (c x\right )^{2} e + 6 \, a b c^{4} x^{4} \arctan \left (c x\right ) e + 6 \, b^{2} c^{4} d x^{2} \arctan \left (c x\right )^{2} + 3 \, a^{2} c^{4} x^{4} e + 12 \, a b c^{4} d x^{2} \arctan \left (c x\right ) - 2 \, b^{2} c^{3} x^{3} \arctan \left (c x\right ) e + 6 \, a^{2} c^{4} d x^{2} - 2 \, a b c^{3} x^{3} e - 12 \, b^{2} c^{3} d x \arctan \left (c x\right ) - 12 \, \pi a b c^{2} d \mathrm{sgn}\left (c\right ) \mathrm{sgn}\left (x\right ) - 12 \, a b c^{3} d x + 6 \, b^{2} c^{2} d \arctan \left (c x\right )^{2} + b^{2} c^{2} x^{2} e + 12 \, a b c^{2} d \arctan \left (c x\right ) + 6 \, b^{2} c x \arctan \left (c x\right ) e + 6 \, b^{2} c^{2} d \log \left (c^{2} x^{2} + 1\right ) + 6 \, a b c x e - 3 \, b^{2} \arctan \left (c x\right )^{2} e - 6 \, a b \arctan \left (c x\right ) e - 4 \, b^{2} e \log \left (c^{2} x^{2} + 1\right )}{12 \, c^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]